Skip to content

Update themes #1109

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed

Update themes #1109

wants to merge 1 commit into from

Conversation

github-actions[bot]
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot force-pushed the themes/themes-update branch from abac187 to f6c7f08 Compare June 24, 2022 05:10
@per1234 per1234 added topic: code Related to content of the project itself type: enhancement Proposed improvement labels Jun 24, 2022
@francescospissu
Copy link
Contributor

Wrong changes that must not be merged into main. PR closed.

@per1234 per1234 added conclusion: invalid Issue/PR not valid topic: theme Related to GUI theming labels Jun 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: invalid Issue/PR not valid topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants